Wyniki
-
The true bisimulations for 'since' and 'until'
Holger Sturm
Logic and Logical Philosophy 10 (2002) s. 173-183
Holger Sturm
Logic and Logical Philosophy
10
(2002)
s. 173-183